* doc/misc/sem-user.texi (Include paths): Fix a Texinfo command.
authorXue Fuqiao <xfq.free@gmail.com>
Thu, 30 Jan 2014 03:41:34 +0000 (11:41 +0800)
committerXue Fuqiao <xfq.free@gmail.com>
Thu, 30 Jan 2014 03:41:34 +0000 (11:41 +0800)
commitbbd1ec9a21f8ce38e9fc6f2c2c51a3319cad7299
treed4f11063645d2462e953549b55d11043e821f508
parent8f8c44836d567557d7516a4c80a6a4cad0e7d1c2
* doc/misc/sem-user.texi (Include paths): Fix a Texinfo command.
doc/misc/ChangeLog
doc/misc/sem-user.texi